(define (problem strips-grid-y-5)
   (:domain grid)
   (:objects node0-0 node0-1 node0-2 node0-3 node0-4 node0-5
             node0-6 node0-7 node0-8 node1-0 node1-1 node1-2 node1-3
             node1-4 node1-5 node1-6 node1-7 node1-8 node2-0 node2-1
             node2-2 node2-3 node2-4 node2-5 node2-6 node2-7 node2-8
             node3-0 node3-1 node3-2 node3-3 node3-4 node3-5 node3-6
             node3-7 node3-8 node4-0 node4-1 node4-2 node4-3 node4-4
             node4-5 node4-6 node4-7 node4-8 node5-0 node5-1 node5-2
             node5-3 node5-4 node5-5 node5-6 node5-7 node5-8 node6-0
             node6-1 node6-2 node6-3 node6-4 node6-5 node6-6 node6-7
             node6-8 node7-0 node7-1 node7-2 node7-3 node7-4 node7-5
             node7-6 node7-7 node7-8 node8-0 node8-1 node8-2 node8-3
             node8-4 node8-5 node8-6 node8-7 node8-8 triangle diamond
             square circle key0 key1 key2 key3 key4 key5 key6 key7 key8 key9
             key10 key11 key12)
   (:init (arm-empty)
          (place node0-0)
          (place node0-1)
          (place node0-2)
          (place node0-3)
          (place node0-4)
          (place node0-5)
          (place node0-6)
          (place node0-7)
          (place node0-8)
          (place node1-0)
          (place node1-1)
          (place node1-2)
          (place node1-3)
          (place node1-4)
          (place node1-5)
          (place node1-6)
          (place node1-7)
          (place node1-8)
          (place node2-0)
          (place node2-1)
          (place node2-2)
          (place node2-3)
          (place node2-4)
          (place node2-5)
          (place node2-6)
          (place node2-7)
          (place node2-8)
          (place node3-0)
          (place node3-1)
          (place node3-2)
          (place node3-3)
          (place node3-4)
          (place node3-5)
          (place node3-6)
          (place node3-7)
          (place node3-8)
          (place node4-0)
          (place node4-1)
          (place node4-2)
          (place node4-3)
          (place node4-4)
          (place node4-5)
          (place node4-6)
          (place node4-7)
          (place node4-8)
          (place node5-0)
          (place node5-1)
          (place node5-2)
          (place node5-3)
          (place node5-4)
          (place node5-5)
          (place node5-6)
          (place node5-7)
          (place node5-8)
          (place node6-0)
          (place node6-1)
          (place node6-2)
          (place node6-3)
          (place node6-4)
          (place node6-5)
          (place node6-6)
          (place node6-7)
          (place node6-8)
          (place node7-0)
          (place node7-1)
          (place node7-2)
          (place node7-3)
          (place node7-4)
          (place node7-5)
          (place node7-6)
          (place node7-7)
          (place node7-8)
          (place node8-0)
          (place node8-1)
          (place node8-2)
          (place node8-3)
          (place node8-4)
          (place node8-5)
          (place node8-6)
          (place node8-7)
          (place node8-8)
          (shape triangle)
          (shape diamond)
          (shape square)
          (shape circle)
          (conn node0-0 node1-0)
          (conn node0-0 node0-1)
          (conn node0-1 node1-1)
          (conn node0-1 node0-2)
          (conn node0-1 node0-0)
          (conn node0-2 node1-2)
          (conn node0-2 node0-3)
          (conn node0-2 node0-1)
          (conn node0-3 node1-3)
          (conn node0-3 node0-4)
          (conn node0-3 node0-2)
          (conn node0-4 node1-4)
          (conn node0-4 node0-5)
          (conn node0-4 node0-3)
          (conn node0-5 node1-5)
          (conn node0-5 node0-6)
          (conn node0-5 node0-4)
          (conn node0-6 node1-6)
          (conn node0-6 node0-7)
          (conn node0-6 node0-5)
          (conn node0-7 node1-7)
          (conn node0-7 node0-8)
          (conn node0-7 node0-6)
          (conn node0-8 node1-8)
          (conn node0-8 node0-7)
          (conn node1-0 node2-0)
          (conn node1-0 node0-0)
          (conn node1-0 node1-1)
          (conn node1-1 node2-1)
          (conn node1-1 node0-1)
          (conn node1-1 node1-2)
          (conn node1-1 node1-0)
          (conn node1-2 node2-2)
          (conn node1-2 node0-2)
          (conn node1-2 node1-3)
          (conn node1-2 node1-1)
          (conn node1-3 node2-3)
          (conn node1-3 node0-3)
          (conn node1-3 node1-4)
          (conn node1-3 node1-2)
          (conn node1-4 node2-4)
          (conn node1-4 node0-4)
          (conn node1-4 node1-5)
          (conn node1-4 node1-3)
          (conn node1-5 node2-5)
          (conn node1-5 node0-5)
          (conn node1-5 node1-6)
          (conn node1-5 node1-4)
          (conn node1-6 node2-6)
          (conn node1-6 node0-6)
          (conn node1-6 node1-7)
          (conn node1-6 node1-5)
          (conn node1-7 node2-7)
          (conn node1-7 node0-7)
          (conn node1-7 node1-8)
          (conn node1-7 node1-6)
          (conn node1-8 node2-8)
          (conn node1-8 node0-8)
          (conn node1-8 node1-7)
          (conn node2-0 node3-0)
          (conn node2-0 node1-0)
          (conn node2-0 node2-1)
          (conn node2-1 node3-1)
          (conn node2-1 node1-1)
          (conn node2-1 node2-2)
          (conn node2-1 node2-0)
          (conn node2-2 node3-2)
          (conn node2-2 node1-2)
          (conn node2-2 node2-3)
          (conn node2-2 node2-1)
          (conn node2-3 node3-3)
          (conn node2-3 node1-3)
          (conn node2-3 node2-4)
          (conn node2-3 node2-2)
          (conn node2-4 node3-4)
          (conn node2-4 node1-4)
          (conn node2-4 node2-5)
          (conn node2-4 node2-3)
          (conn node2-5 node3-5)
          (conn node2-5 node1-5)
          (conn node2-5 node2-6)
          (conn node2-5 node2-4)
          (conn node2-6 node3-6)
          (conn node2-6 node1-6)
          (conn node2-6 node2-7)
          (conn node2-6 node2-5)
          (conn node2-7 node3-7)
          (conn node2-7 node1-7)
          (conn node2-7 node2-8)
          (conn node2-7 node2-6)
          (conn node2-8 node3-8)
          (conn node2-8 node1-8)
          (conn node2-8 node2-7)
          (conn node3-0 node4-0)
          (conn node3-0 node2-0)
          (conn node3-0 node3-1)
          (conn node3-1 node4-1)
          (conn node3-1 node2-1)
          (conn node3-1 node3-2)
          (conn node3-1 node3-0)
          (conn node3-2 node4-2)
          (conn node3-2 node2-2)
          (conn node3-2 node3-3)
          (conn node3-2 node3-1)
          (conn node3-3 node4-3)
          (conn node3-3 node2-3)
          (conn node3-3 node3-4)
          (conn node3-3 node3-2)
          (conn node3-4 node4-4)
          (conn node3-4 node2-4)
          (conn node3-4 node3-5)
          (conn node3-4 node3-3)
          (conn node3-5 node4-5)
          (conn node3-5 node2-5)
          (conn node3-5 node3-6)
          (conn node3-5 node3-4)
          (conn node3-6 node4-6)
          (conn node3-6 node2-6)
          (conn node3-6 node3-7)
          (conn node3-6 node3-5)
          (conn node3-7 node4-7)
          (conn node3-7 node2-7)
          (conn node3-7 node3-8)
          (conn node3-7 node3-6)
          (conn node3-8 node4-8)
          (conn node3-8 node2-8)
          (conn node3-8 node3-7)
          (conn node4-0 node5-0)
          (conn node4-0 node3-0)
          (conn node4-0 node4-1)
          (conn node4-1 node5-1)
          (conn node4-1 node3-1)
          (conn node4-1 node4-2)
          (conn node4-1 node4-0)
          (conn node4-2 node5-2)
          (conn node4-2 node3-2)
          (conn node4-2 node4-3)
          (conn node4-2 node4-1)
          (conn node4-3 node5-3)
          (conn node4-3 node3-3)
          (conn node4-3 node4-4)
          (conn node4-3 node4-2)
          (conn node4-4 node5-4)
          (conn node4-4 node3-4)
          (conn node4-4 node4-5)
          (conn node4-4 node4-3)
          (conn node4-5 node5-5)
          (conn node4-5 node3-5)
          (conn node4-5 node4-6)
          (conn node4-5 node4-4)
          (conn node4-6 node5-6)
          (conn node4-6 node3-6)
          (conn node4-6 node4-7)
          (conn node4-6 node4-5)
          (conn node4-7 node5-7)
          (conn node4-7 node3-7)
          (conn node4-7 node4-8)
          (conn node4-7 node4-6)
          (conn node4-8 node5-8)
          (conn node4-8 node3-8)
          (conn node4-8 node4-7)
          (conn node5-0 node6-0)
          (conn node5-0 node4-0)
          (conn node5-0 node5-1)
          (conn node5-1 node6-1)
          (conn node5-1 node4-1)
          (conn node5-1 node5-2)
          (conn node5-1 node5-0)
          (conn node5-2 node6-2)
          (conn node5-2 node4-2)
          (conn node5-2 node5-3)
          (conn node5-2 node5-1)
          (conn node5-3 node6-3)
          (conn node5-3 node4-3)
          (conn node5-3 node5-4)
          (conn node5-3 node5-2)
          (conn node5-4 node6-4)
          (conn node5-4 node4-4)
          (conn node5-4 node5-5)
          (conn node5-4 node5-3)
          (conn node5-5 node6-5)
          (conn node5-5 node4-5)
          (conn node5-5 node5-6)
          (conn node5-5 node5-4)
          (conn node5-6 node6-6)
          (conn node5-6 node4-6)
          (conn node5-6 node5-7)
          (conn node5-6 node5-5)
          (conn node5-7 node6-7)
          (conn node5-7 node4-7)
          (conn node5-7 node5-8)
          (conn node5-7 node5-6)
          (conn node5-8 node6-8)
          (conn node5-8 node4-8)
          (conn node5-8 node5-7)
          (conn node6-0 node7-0)
          (conn node6-0 node5-0)
          (conn node6-0 node6-1)
          (conn node6-1 node7-1)
          (conn node6-1 node5-1)
          (conn node6-1 node6-2)
          (conn node6-1 node6-0)
          (conn node6-2 node7-2)
          (conn node6-2 node5-2)
          (conn node6-2 node6-3)
          (conn node6-2 node6-1)
          (conn node6-3 node7-3)
          (conn node6-3 node5-3)
          (conn node6-3 node6-4)
          (conn node6-3 node6-2)
          (conn node6-4 node7-4)
          (conn node6-4 node5-4)
          (conn node6-4 node6-5)
          (conn node6-4 node6-3)
          (conn node6-5 node7-5)
          (conn node6-5 node5-5)
          (conn node6-5 node6-6)
          (conn node6-5 node6-4)
          (conn node6-6 node7-6)
          (conn node6-6 node5-6)
          (conn node6-6 node6-7)
          (conn node6-6 node6-5)
          (conn node6-7 node7-7)
          (conn node6-7 node5-7)
          (conn node6-7 node6-8)
          (conn node6-7 node6-6)
          (conn node6-8 node7-8)
          (conn node6-8 node5-8)
          (conn node6-8 node6-7)
          (conn node7-0 node8-0)
          (conn node7-0 node6-0)
          (conn node7-0 node7-1)
          (conn node7-1 node8-1)
          (conn node7-1 node6-1)
          (conn node7-1 node7-2)
          (conn node7-1 node7-0)
          (conn node7-2 node8-2)
          (conn node7-2 node6-2)
          (conn node7-2 node7-3)
          (conn node7-2 node7-1)
          (conn node7-3 node8-3)
          (conn node7-3 node6-3)
          (conn node7-3 node7-4)
          (conn node7-3 node7-2)
          (conn node7-4 node8-4)
          (conn node7-4 node6-4)
          (conn node7-4 node7-5)
          (conn node7-4 node7-3)
          (conn node7-5 node8-5)
          (conn node7-5 node6-5)
          (conn node7-5 node7-6)
          (conn node7-5 node7-4)
          (conn node7-6 node8-6)
          (conn node7-6 node6-6)
          (conn node7-6 node7-7)
          (conn node7-6 node7-5)
          (conn node7-7 node8-7)
          (conn node7-7 node6-7)
          (conn node7-7 node7-8)
          (conn node7-7 node7-6)
          (conn node7-8 node8-8)
          (conn node7-8 node6-8)
          (conn node7-8 node7-7)
          (conn node8-0 node7-0)
          (conn node8-0 node8-1)
          (conn node8-1 node7-1)
          (conn node8-1 node8-2)
          (conn node8-1 node8-0)
          (conn node8-2 node7-2)
          (conn node8-2 node8-3)
          (conn node8-2 node8-1)
          (conn node8-3 node7-3)
          (conn node8-3 node8-4)
          (conn node8-3 node8-2)
          (conn node8-4 node7-4)
          (conn node8-4 node8-5)
          (conn node8-4 node8-3)
          (conn node8-5 node7-5)
          (conn node8-5 node8-6)
          (conn node8-5 node8-4)
          (conn node8-6 node7-6)
          (conn node8-6 node8-7)
          (conn node8-6 node8-5)
          (conn node8-7 node7-7)
          (conn node8-7 node8-8)
          (conn node8-7 node8-6)
          (conn node8-8 node7-8)
          (conn node8-8 node8-7)
          (locked node5-3)
          (lock-shape node5-3 circle)
          (locked node5-2)
          (lock-shape node5-2 circle)
          (locked node6-2)
          (lock-shape node6-2 circle)
          (locked node6-3)
          (lock-shape node6-3 circle)
          (locked node7-3)
          (lock-shape node7-3 circle)
          (locked node7-4)
          (lock-shape node7-4 circle)
          (locked node7-5)
          (lock-shape node7-5 circle)
          (locked node6-5)
          (lock-shape node6-5 circle)
          (locked node6-6)
          (lock-shape node6-6 circle)
          (locked node5-6)
          (lock-shape node5-6 circle)
          (locked node5-5)
          (lock-shape node5-5 circle)
          (locked node5-4)
          (lock-shape node5-4 circle)
          (locked node2-2)
          (lock-shape node2-2 circle)
          (locked node1-2)
          (lock-shape node1-2 circle)
          (locked node1-1)
          (lock-shape node1-1 circle)
          (locked node2-1)
          (lock-shape node2-1 circle)
          (locked node2-0)
          (lock-shape node2-0 circle)
          (locked node3-0)
          (lock-shape node3-0 circle)
          (locked node3-1)
          (lock-shape node3-1 circle)
          (locked node3-2)
          (lock-shape node3-2 circle)
          (open node0-0)
          (open node0-1)
          (open node0-2)
          (open node0-3)
          (open node0-4)
          (open node0-5)
          (open node0-6)
          (open node0-7)
          (open node0-8)
          (open node1-0)
          (open node1-3)
          (open node1-4)
          (open node1-5)
          (open node1-6)
          (open node1-7)
          (open node1-8)
          (open node2-3)
          (open node2-4)
          (open node2-5)
          (open node2-6)
          (open node2-7)
          (open node2-8)
          (open node3-3)
          (open node3-4)
          (open node3-5)
          (open node3-6)
          (open node3-7)
          (open node3-8)
          (open node4-0)
          (open node4-1)
          (open node4-2)
          (open node4-3)
          (open node4-4)
          (open node4-5)
          (open node4-6)
          (open node4-7)
          (open node4-8)
          (open node5-0)
          (open node5-1)
          (open node5-7)
          (open node5-8)
          (open node6-0)
          (open node6-1)
          (open node6-4)
          (open node6-7)
          (open node6-8)
          (open node7-0)
          (open node7-1)
          (open node7-2)
          (open node7-6)
          (open node7-7)
          (open node7-8)
          (open node8-0)
          (open node8-1)
          (open node8-2)
          (open node8-3)
          (open node8-4)
          (open node8-5)
          (open node8-6)
          (open node8-7)
          (open node8-8)
          (key key0)
          (key-shape key0 square)
          (at key0 node8-7)
          (key key1)
          (key-shape key1 triangle)
          (at key1 node0-1)
          (key key2)
          (key-shape key2 diamond)
          (at key2 node6-3)
          (key key3)
          (key-shape key3 circle)
          (at key3 node8-1)
          (key key4)
          (key-shape key4 circle)
          (at key4 node7-3)
          (key key5)
          (key-shape key5 square)
          (at key5 node8-8)
          (key key6)
          (key-shape key6 square)
          (at key6 node1-4)
          (key key7)
          (key-shape key7 square)
          (at key7 node3-2)
          (key key8)
          (key-shape key8 triangle)
          (at key8 node4-3)
          (key key9)
          (key-shape key9 square)
          (at key9 node1-0)
          (key key10)
          (key-shape key10 diamond)
          (at key10 node2-4)
          (key key11)
          (key-shape key11 square)
          (at key11 node4-3)
          (key key12)
          (key-shape key12 diamond)
          (at key12 node8-5)
          (at-robot node0-6))
   (:goal (and (at key4 node3-0)
               (at key2 node5-0)
               (at key0 node2-1)
               (at key5 node2-8)
               (at key9 node8-6)
               (at key11 node2-8)
               (at key10 node6-1))))